History of constructivism in the 20th century

نویسنده

  • A. S. Troelstra
چکیده

In this survey of the history of constructivism, more space has been devoted to early developments (up till ca 1965) than to the work of the last few decades. Not only because most of the concepts and general insights have emerged before 1965, but also for practical reasons: much of the recent work is of a too technical and complicated nature to be described adequately within the limits of this article. Constructivism is a point of view (or an attitude) concerning the methods and objects of mathematics which is normative: not only does it interpret existing mathematics according to certain principles, but it also rejects methods and results not conforming to such principles as unfounded or speculative (the rejection is not always absolute, but sometimes only a matter of degree: a decided preference for constructive concepts and methods). In this sense the various forms of constructivism are all ‘ideological’ in character. Constructivism as a specific viewpoint emerges in the final quarter of the 19th century, and may be regarded as a reaction to the rapidly increasing use of highly abstract concepts and methods of proof in mathematics, a trend exemplified by the works of R. Dedekind and G. Cantor. The mathematics before the last quarter of the 19th century is, from the viewpoint of today, in the main constructive, with the notable exception of geometry, where proof by contradiction was commonly accepted and widely employed. Characteristic for the constructivist trend is the insistence that mathematical objects are to be constructed (mental constructions) or computed; thus theorems asserting the existence of certain objects should by their proofs give us the means of constructing objects whose existence is being asserted. L. Kronecker may be described as the first conscious constructivist. For Kronecker, only the natural numbers were ‘God-given’; all other mathematical objects ought to be explained in terms of natural numbers (at least in algebra). Assertions of existence should be backed up by constructions, and the properties of numbers

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand

In one of Krylov’s fables, a small dog Moska barks at the elephant who pays no attention whatsoever to Moska. This image comes to my mind when I think of constructive mathematics versus “classical” (that is mainstream) mathematics. In this article, we put a few words into the elephant’s mouth. The idea to write such an article came to me in the summer of 1995 when I came across a fascinating 19...

متن کامل

World of Islam According to Constructivism

From the beginning of twentieth century Islamic intellectual movements called Islamic Awakening Movement were formed in the world of Islam. They were aimed at fighting colonization of Islamic countries by west and help Muslims return to forgotten Islamic laws and regulations. Their primary objective was to regenerate and revive political Islam in twentieth century. Islamic awakening process and...

متن کامل

The Aesthetics of the Machine in the 20th Century Art based on Don Ihde’s Ideas

The increasing growth of technology in the twentieth century has brought about profound developments in the relations between man and the world. These developments, which included large industries and automatic and semi-automatic machines, necessitated the question of technology not only by intellectuals, but also by artists. Thus, different approaches to technology were formed, all of which we...

متن کامل

Writing the history of psychiatry in the 20th century.

As editors of the special issue, we try to summarize here the historiographic trends of the field.We argue that the field of research is accommodating the diversity of the institutional, social and political developments. But there is no narrative in sight which can explain the psychiatry of the 20th century, comparable to the authoritative coherence achieved for the 19th century. In contrast, ...

متن کامل

A.P. Chekhov’s Works in Interpretation by F.E. Paktovsky

This paper presents a conceptual analysis of the essay by Paktovsky (1901) which concentrates on the works by Chekhov. The urgency of the research is determined by the significance of the literary figure for the history of Russian criticism of the 19th – 20th centuries, the importance of his vision concerning the writing of the authors of Russian literature of the turn of the century, as well a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005